#ifndef INTDSP_DOT32X16_H_INCLUDED
#define INTDSP_DOT32X16_H_INCLUDED

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

/**
 * compute dot product between a 32-bit x and a 16-bit vector y
 * yielding a 64-bit result
 *
 * @param n
 *   dimension of the vectors
 * @param x
 *   first vector (32 bits per element)
 * @param y
 *   second vector (16 bits per element)
 * @return
 *   dot product of x and y
 */
extern int64_t dot32x16(int n, const int32_t x[], const int16_t y[]);

#ifdef __cplusplus
}
#endif

#endif
